#include <stdint.h>

#define P0_IN *(volatile unsigned int *)0x50000510
#define P1_IN *(volatile unsigned int *)0x50000810

uint32_t io_read_port(uint8_t port) {
    if (port == 0) {
        return P0_IN;
    } else {
        return P1_IN;
    }
}